Recursive Predicates and Quantifiers
نویسندگان
چکیده
منابع مشابه
Classifying Recursive Predicates and Languages
We study the classi cation of recursive predicates and languages. In particular, we compare the classi cation of predicates and languages with the classi cation of arbitrary recursive functions and with learning. Moreover, we re ne our investigations by introducing classi cation with a bounded number of mind changes and establish a new hierarchy. Furthermore, we introduce multi{classi cation an...
متن کاملOperationality Criteria for Recursive Predicates
Current explanation-based generalization (EBG) techniques can perform badly when the problem being solved involves recursion. Often an infinite series of learned concepts are generated that correspond to the expansion of recursive solutions over every finite depth. Previous attempts to address the problem, such as Shavlik’s generalization-to-N EBG method, are overly reluctant to expand recursio...
متن کاملDefining Recursive Predicates in Graph Orders
We study the first order theory of structures over graphs i.e. structures of the form (G, τ ) where G is the set of all (isomorphism types of) finite undirected graphs and τ some vocabulary. We define the notion of a recursive predicate over graphs using Turing Machine recognizable string encodings of graphs. We introduce the notion of a capable structure over graphs, which is one satisfying th...
متن کاملSecurity Type Systems as Recursive Predicates
We show how security type systems from the literature of languagebased noninterference can be represented more directly as predicates defined by structural recursion on the programs. In this context, we show how our uniform syntactic criteria from [7,8] cover several previous type-system soundness results. 1 Security type systems As in Example 2 from [7, 8], we assume that atomic statements and...
متن کاملMental metalogic and its empirical justifications: The case of reasoning with quantifiers and predicates
We report on a series of experiments designed to test a new, unifying theory in psychology of deductive reasoning: mental metalogic (MML, for short; Yang & Bringsjord, 2001), which marks the unification of mental logic (ML) and mental model (MM) theory, and stands in part on the strength of empirical investigation of strategic interactions between logical syntactic and logical semantic processe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1943
ISSN: 0002-9947
DOI: 10.2307/1990131